41. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
42. Finite Fields: Theory and Computation
پدیدآورنده : by Igor E. Shparlinski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Computational complexity.,Electronic data processing.,Field theory (Physics).,Mathematics.,Number theory.
43. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
44. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
45. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
46. Geometric algebra computing. in engineering and computer science
پدیدآورنده : Eduardo Bayro-Corrochano, Gerik Scheuermann, editors
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Clifford algebras- Data processing
رده :
QA
199
.
G45
2010
47. Godunov Methods :
پدیدآورنده : edited by E.F. Toro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.
رده :
QA911
.
E358
2001
48. Guaranteed Accuracy in Numerical Linear Algebra
پدیدآورنده : by S. K. Godunov, A. G. Antonov, O. P. Kiriljuk, V. I. Kostin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Matrix theory.
49. Historische Notizen zur Informatik /
پدیدآورنده : Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- History.,Computers-- History.,Electronic data processing-- History.,Computer science.,COMPUTERS-- History.,Computers.,Electronic data processing.
رده :
QA76
.
17
.
B38
2009eb
50. Invariant Methods in Discrete and Computational Geometry :
پدیدآورنده : edited by Neil L. White.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Electronic data processing.
رده :
QA448
.
D38
E358
1995
51. Linear Algebra for Large Scale and Real-Time Applications
پدیدآورنده : edited by Marc S. Moonen, Gene H. Golub, Bart L. R. Moor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.,Systems theory.
52. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
53. Modern computer algebra
پدیدآورنده : / Joachim von zur Gathen and Jurgen Gerhard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra- Data processing,Computer algorithms,Computer science- Mathematics
رده :
QA155
.
7
.
E4
,
Z87
1999
54. Process algebra for parallel and distributed processing
پدیدآورنده : / edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Formal methods (Computer science)
رده :
QA76
.
58
.
P7664
2009
55. Process algebra for parallel and distributed processing
پدیدآورنده : edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P75
56. Process algebra for parallel and distributed processing
پدیدآورنده : edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P7664
2009
57. Process algebra for parallel and distributed processing
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Parallel processing (Electronic computers),Electronic data processing -- Distributed processing,Formal methods (Computer science)
رده :
004
.
0151
P963
58. Quantitative Methods in Parallel Systems
پدیدآورنده : edited by François Baccelli, Alain Jean-Marie, Isi Mitrani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.
رده :
QA76
.
58
E358
1995
59. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
60. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
